7

Exact complexity bounds for ordinal addition

Year:
1996
Language:
english
File:
PDF, 1.73 MB
english, 1996
8

Ehrenfeucht games and ordinal addition

Year:
1997
Language:
english
File:
PDF, 1.41 MB
english, 1997
24

The theory of integer multiplication with order restricted to primes is decidable

Year:
1997
Language:
english
File:
PDF, 582 KB
english, 1997